<?hh

trait T2 {
  require implements A;
}
